From c1e24aff1a768b548caa47dfde29b6fb1c7bd3cb Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Wed, 4 Jan 2017 23:45:33 +0000
Subject: [PATCH] Implement OO.ui.isMobile

Check for MobileFrontend being used (skin='minerva').

Change-Id: If66f2fb10f96e270ed1433f0db74310734bd6156
---
 resources/src/oojs-ui-local.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/resources/src/oojs-ui-local.js b/resources/src/oojs-ui-local.js
index 99d97849f9..017d9fb073 100644
--- a/resources/src/oojs-ui-local.js
+++ b/resources/src/oojs-ui-local.js
@@ -1,4 +1,5 @@
 ( function ( mw ) {
+	var isMobile;
 	// Connect OOjs UI to MediaWiki's localisation system
 	OO.ui.getUserLanguages = mw.language.getFallbackLanguageChain;
 	OO.ui.msg = mw.msg;
@@ -7,4 +8,10 @@
 		mw.track( 'mw.deprecate', 'oojs-ui' );
 		mw.log.warn( message );
 	};
+	OO.ui.isMobile = function () {
+		if ( isMobile === undefined ) {
+			isMobile = mw.config.get( 'skin' ) === 'minerva';
+		}
+		return isMobile;
+	};
 }( mediaWiki ) );
-- 
2.20.1